Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
61	Branch and Bound Methods • basic ideas and attributes • unconstrained nonconvex optimization • mixed convex-Boolean optimization Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-26 12:54:55 Duality Branch and bound Algorithm Convex optimization Global optimization Relaxation Mathematical optimization Mathematical analysis Operations research
62	Chapter 2 A Glimpse of Measure and Integration This chapter gives a quick but precise exposition of essentials of measure and integration so that an overall view of the subject is provided in good time. Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2013-10-18 07:14:45 Mathematical logic Boolean algebra Measure theory Sigma-algebra Probability space Ordinal number Borel set Ω-automaton Itō diffusion Mathematical analysis Probability theory Mathematics
63	The AltaRica 3.0 project for Model-Based Safety Assessment DCDS2013 York, England, September 4-6, 2013 Tatiana PROSVIRNOVA, Michel BATTEUX, Pierre-Antoine BRAMERET, Abraham CHERFI, Thomas FRIEDLHUBER, Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-09-12 09:57:23 Safety Systems science Materials science Survival analysis Lambda Fault tree analysis Outflow Boolean data type Safety engineering Reliability engineering Systems engineering Design for X
64	Chapter 2 A Glimpse of Measure and Integration This chapter gives a quick but precise exposition of essentials of measure and integration so that an overall view of the subject is provided in good time. Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2014-05-26 04:51:49 Mathematical logic Boolean algebra Measure theory Sigma-algebra Probability space Ordinal number Borel set Ω-automaton Itō diffusion Mathematical analysis Probability theory Mathematics
65	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
66	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering
67	Overview of Fourier sampling over the Boolean cube Eric Blais University of Waterloo October 18, 2014 Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2014-10-20 10:20:12 Joseph Fourier Generalized functions Unitary operators Fourier transform Fourier inversion theorem Fourier series Fractional Fourier transform Mathematical analysis Fourier analysis Integral transforms
68	Classifying Cellular Automata Automatically; Finding gliders, filtering, and relating space-time patterns, attractor basins, and the Z parameter. Andrew Wuensche Santa Fe Institute, 1399 Hyde Park Road, Santa Fe, New Mex Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2002-05-01 15:56:39 Mathematics Boolean network Chaos theory Structure Cellular automaton Approximations of π Phase portrait Pi Attractor network Mathematical analysis Dynamical systems Attractor
69	Analyzing Sentiment while Accounting for Negation Scope and Strength Alexander Hogenboom Paul van Iterson Bas Heerschop Flavius Frasincar Add to Reading List Source URL: allserv.kahosl.be Language: English - Date: 2011-10-03 02:58:16 Science Mathematics Boolean algebra Rhetoric Natural language processing Negation Sentiment analysis Yes and no Existence Grammar Linguistics Semantics
70	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory

UPDATE